IVK - mutex lock @ [2946+23+/linux-3.19-rc1/drivers/tty/n

Instance Verification Kit (IVK)

mutex lock @ [2946+23+/linux-3.19-rc1/drivers/tty/n_tracerouter.c]

Instance Signature: routelock

The Matching Pair Graph:

Function Name	Control Flow Graph (CFG)	Events Flow Graph (EFG)	Source Correspondence
n_tracerouter_close			[2849+19+/linux-3.19-rc1/drivers/tty/n_tracerouter.c]